Bounds checking
Results: 12
| # | Item |
|---|---|
11 | Logic-Flow Analysis of Higher-Order Programs Matt Might http://matt.might.net/ POPL 2007Add to Reading ListSource URL: matt.might.netLanguage: English - Date: 2014-01-06 09:40:05 |
12![Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a](https://www.pdfsearch.io/img/5f1a8633d2734393eeb9f4ad0c7562ff.jpg "Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a") | Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ aAdd to Reading ListSource URL: www-compsci.swan.ac.ukLanguage: English - Date: 2003-12-16 10:28:26 |